Nuprl Definition : has-value
11,40
postcript
pdf
has-value(
a
) == callbyvalue(
a
;
a
.0) = 0
latex
clarification:
has-value(
a
) == callbyvalue(
a
;
a
.0) = 0
latex
Definitions
#$n
,
callbyvalue(
a
;
x
.
B
(
x
))
,
,
s
=
t
FDL editor aliases
has-value
origin
